COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input memo.tex[let,jmc]
C00003 00003	\noindent The first version of cause[s86,jmc] is dated 1986 June 17.
C00004 ENDMK
C⊗;
\input memo.tex[let,jmc]
\noindent cause[s86,jmc]		Causality and McDermott's lament

$$\displaylines{¬ab aspect1 ⊃ s1\hfill\cr
¬ab aspect2 ⊃ s2\hfill\cr
s1 ⊃ causeab aspect2 ∧ ¬s2\hfill\cr
∀z.causeab z ⊃ ab z\hfill\cr}$$

We minimize  $ab z ∧ ¬causeab z$.

\noindent The first version of cause[s86,jmc] is dated 1986 June 17.
\noindent This version \TeX ed on \jmcdate\space at \theTime.
\vfill\eject\end